[INFO] fetching crate wasefire-store 0.2.0...
[INFO] checking wasefire-store-0.2.0 against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] extracting crate wasefire-store 0.2.0 into /workspace/builds/worker-0-tc2/source
[INFO] validating manifest of crates.io crate wasefire-store 0.2.0 on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate wasefire-store 0.2.0
[INFO] finished tweaking crates.io crate wasefire-store 0.2.0
[INFO] tweaked toml for crates.io crate wasefire-store 0.2.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" __CARGO_TEST_CHANNEL_OVERRIDE_DO_NOT_USE_THIS="nightly" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2e2cdc0ee514395234fc3f0dd909a8782d3876052cd927cf38a6c56bf967aa9d
[INFO] running `Command { std: "docker" "start" "-a" "2e2cdc0ee514395234fc3f0dd909a8782d3876052cd927cf38a6c56bf967aa9d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2e2cdc0ee514395234fc3f0dd909a8782d3876052cd927cf38a6c56bf967aa9d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e2cdc0ee514395234fc3f0dd909a8782d3876052cd927cf38a6c56bf967aa9d", kill_on_drop: false }`
[INFO] [stdout] 2e2cdc0ee514395234fc3f0dd909a8782d3876052cd927cf38a6c56bf967aa9d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 748884a55e3a26f6631b2d91017e5d725e2ed3ba150a8029f92180525773dbb1
[INFO] running `Command { std: "docker" "start" "-a" "748884a55e3a26f6631b2d91017e5d725e2ed3ba150a8029f92180525773dbb1", kill_on_drop: false }`
[INFO] [stderr]     Checking wasefire-store v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/format/bitfield.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::{Nat, StoreError, StoreResult};
[INFO] [stdout]    |             ^^^ no `Nat` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/format.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::{usize_to_nat, Nat, Storage, StorageIndex, StoreError, StoreResult, StoreUpdate};
[INFO] [stdout]    |                           ^^^ no `Nat` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/store.rs:32:27
[INFO] [stdout]    |
[INFO] [stdout] 32 | use crate::{usize_to_nat, Nat, Storage, StorageError, StorageIndex};
[INFO] [stdout]    |                           ^^^ no `Nat` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope
[INFO] [stdout]    --> src/lib.rs:413:30
[INFO] [stdout]     |
[INFO] [stdout] 413 | fn usize_to_nat(x: usize) -> Nat {
[INFO] [stdout]     |                              ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/format/bitfield.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 | use crate::{Nat, StoreError, StoreResult};
[INFO] [stdout]    |             ^^^ no `Nat` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/format.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 | use crate::{usize_to_nat, Nat, Storage, StorageIndex, StoreError, StoreResult, StoreUpdate};
[INFO] [stdout]    |                           ^^^ no `Nat` in the root
[INFO] [stdout]    |
[INFO] [stdout]    = note: unresolved item `crate::format::bitfield::tests::Nat` exists but is inaccessible
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::Nat`
[INFO] [stdout]   --> src/store.rs:32:27
[INFO] [stdout]    |
[INFO] [stdout] 32 | use crate::{usize_to_nat, Nat, Storage, StorageError, StorageIndex};
[INFO] [stdout]    |                           ^^^ no `Nat` in the root
[INFO] [stdout]    |
[INFO] [stdout]    = note: unresolved item `crate::format::tests::Nat` exists but is inaccessible
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `crate::BufferOptions`, `crate::BufferStorage`, `crate::StoreDriverOff`
[INFO] [stdout]   --> src/test.rs:15:13
[INFO] [stdout]    |
[INFO] [stdout] 15 | use crate::{BufferOptions, BufferStorage, Store, StoreDriverOff};
[INFO] [stdout]    |             ^^^^^^^^^^^^^  ^^^^^^^^^^^^^         ^^^^^^^^^^^^^^ no `StoreDriverOff` in the root
[INFO] [stdout]    |             |              |
[INFO] [stdout]    |             |              no `BufferStorage` in the root
[INFO] [stdout]    |             no `BufferOptions` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `std`
[INFO] [stdout]    --> src/format.rs:925:20
[INFO] [stdout]     |
[INFO] [stdout] 925 |         assert_eq!(std::mem::size_of::<Format>(), 12);
[INFO] [stdout]     |                    ^^^ use of undeclared crate or module `std`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Nat` in this scope
[INFO] [stdout]    --> src/lib.rs:413:30
[INFO] [stdout]     |
[INFO] [stdout] 413 | fn usize_to_nat(x: usize) -> Nat {
[INFO] [stdout]     |                              ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:316:31
[INFO] [stdout]     |
[INFO] [stdout] 316 |         let mut tail = marker + 1;
[INFO] [stdout]     |                        ------ ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:467:61
[INFO] [stdout]     |
[INFO] [stdout] 467 |                 let mut result = self.read_slice(handle.pos + 1, header.length);
[INFO] [stdout]     |                                                  ---------- ^ - {integer}
[INFO] [stdout]     |                                                  |
[INFO] [stdout]     |                                                  Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:535:46
[INFO] [stdout]     |
[INFO] [stdout] 535 |                     self.wipe_span(entry_pos + 1, pos - entry_pos - 1)?;
[INFO] [stdout]     |                                    --------- ^ - {integer}
[INFO] [stdout]     |                                    |
[INFO] [stdout]     |                                    Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:647:28
[INFO] [stdout]     |
[INFO] [stdout] 647 |         self.wipe_span(pos + 1, length)?;
[INFO] [stdout]     |                        --- ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:781:30
[INFO] [stdout]     |
[INFO] [stdout] 781 |         let mut pos = marker + 1;
[INFO] [stdout]     |                       ------ ^ - {integer}
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0618]: expected function, found `impl Fn(Nat) -> bool`
[INFO] [stdout]    --> src/store.rs:827:16
[INFO] [stdout]     |
[INFO] [stdout] 814 |     fn delete_if(&mut self, end: Position, delete: impl Fn(Nat) -> bool) -> StoreResult<()> {
[INFO] [stdout]     |                                            ------ `delete` has type `impl Fn(Nat) -> bool`
[INFO] [stdout] ...
[INFO] [stdout] 827 |             if delete(header.key) {
[INFO] [stdout]     |                ^^^^^^------------
[INFO] [stdout]     |                |
[INFO] [stdout]     |                call expression requires function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:841:28
[INFO] [stdout]     |
[INFO] [stdout] 841 |         self.wipe_span(pos + 1, length)?;
[INFO] [stdout]     |                        --- ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:859:18
[INFO] [stdout]     |
[INFO] [stdout] 859 |             last + 1
[INFO] [stdout]     |             ---- ^ - {integer}
[INFO] [stdout]     |             |
[INFO] [stdout]     |             Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:975:17
[INFO] [stdout]     |
[INFO] [stdout] 975 |                 *pos += 1 + length;
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:991:21
[INFO] [stdout]     |
[INFO] [stdout] 991 |                     *pos += 1 + length;
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:996:21
[INFO] [stdout]     |
[INFO] [stdout] 996 |                     *pos += 1 + length;
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]     --> src/store.rs:1001:17
[INFO] [stdout]      |
[INFO] [stdout] 1001 |                 *pos += 1;
[INFO] [stdout]      |                 ----^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 cannot use `+=` on type `Position`
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]     --> src/store.rs:1014:48
[INFO] [stdout]      |
[INFO] [stdout] 1014 |             if !is_erased(&self.read_word(*pos + i)) {
[INFO] [stdout]      |                                           ---- ^ - {integer}
[INFO] [stdout]      |                                           |
[INFO] [stdout]      |                                           Position
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]     --> src/store.rs:1021:17
[INFO] [stdout]      |
[INFO] [stdout] 1021 |                 *pos += 1 + length;
[INFO] [stdout]      |                 ----^^^^^^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 cannot use `+=` on type `Position`
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Nat`
[INFO] [stdout]    --> src/lib.rs:414:5
[INFO] [stdout]     |
[INFO] [stdout] 414 |     Nat::try_from(x).unwrap()
[INFO] [stdout]     |     ^^^ use of undeclared type `Nat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 19 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0368, E0369, E0412, E0432, E0433, E0618.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0368`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `wasefire-store` (lib) due to 20 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:316:31
[INFO] [stdout]     |
[INFO] [stdout] 316 |         let mut tail = marker + 1;
[INFO] [stdout]     |                        ------ ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:467:61
[INFO] [stdout]     |
[INFO] [stdout] 467 |                 let mut result = self.read_slice(handle.pos + 1, header.length);
[INFO] [stdout]     |                                                  ---------- ^ - {integer}
[INFO] [stdout]     |                                                  |
[INFO] [stdout]     |                                                  Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:535:46
[INFO] [stdout]     |
[INFO] [stdout] 535 |                     self.wipe_span(entry_pos + 1, pos - entry_pos - 1)?;
[INFO] [stdout]     |                                    --------- ^ - {integer}
[INFO] [stdout]     |                                    |
[INFO] [stdout]     |                                    Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:647:28
[INFO] [stdout]     |
[INFO] [stdout] 647 |         self.wipe_span(pos + 1, length)?;
[INFO] [stdout]     |                        --- ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:781:30
[INFO] [stdout]     |
[INFO] [stdout] 781 |         let mut pos = marker + 1;
[INFO] [stdout]     |                       ------ ^ - {integer}
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0618]: expected function, found `impl Fn(Nat) -> bool`
[INFO] [stdout]    --> src/store.rs:827:16
[INFO] [stdout]     |
[INFO] [stdout] 814 |     fn delete_if(&mut self, end: Position, delete: impl Fn(Nat) -> bool) -> StoreResult<()> {
[INFO] [stdout]     |                                            ------ `delete` has type `impl Fn(Nat) -> bool`
[INFO] [stdout] ...
[INFO] [stdout] 827 |             if delete(header.key) {
[INFO] [stdout]     |                ^^^^^^------------
[INFO] [stdout]     |                |
[INFO] [stdout]     |                call expression requires function
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:841:28
[INFO] [stdout]     |
[INFO] [stdout] 841 |         self.wipe_span(pos + 1, length)?;
[INFO] [stdout]     |                        --- ^ - {integer}
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]    --> src/store.rs:859:18
[INFO] [stdout]     |
[INFO] [stdout] 859 |             last + 1
[INFO] [stdout]     |             ---- ^ - {integer}
[INFO] [stdout]     |             |
[INFO] [stdout]     |             Position
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:975:17
[INFO] [stdout]     |
[INFO] [stdout] 975 |                 *pos += 1 + length;
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:991:21
[INFO] [stdout]     |
[INFO] [stdout] 991 |                     *pos += 1 + length;
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]    --> src/store.rs:996:21
[INFO] [stdout]     |
[INFO] [stdout] 996 |                     *pos += 1 + length;
[INFO] [stdout]     |                     ----^^^^^^^^^^^^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     cannot use `+=` on type `Position`
[INFO] [stdout]     |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]    --> src/format.rs:720:1
[INFO] [stdout]     |
[INFO] [stdout] 720 | pub struct Position(Nat);
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]    --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]     --> src/store.rs:1001:17
[INFO] [stdout]      |
[INFO] [stdout] 1001 |                 *pos += 1;
[INFO] [stdout]      |                 ----^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 cannot use `+=` on type `Position`
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot add `{integer}` to `Position`
[INFO] [stdout]     --> src/store.rs:1014:48
[INFO] [stdout]      |
[INFO] [stdout] 1014 |             if !is_erased(&self.read_word(*pos + i)) {
[INFO] [stdout]      |                                           ---- ^ - {integer}
[INFO] [stdout]      |                                           |
[INFO] [stdout]      |                                           Position
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `Add<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `Add<{integer}>`
[INFO] [stdout] note: the trait `Add` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:76:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0368]: binary assignment operation `+=` cannot be applied to type `Position`
[INFO] [stdout]     --> src/store.rs:1021:17
[INFO] [stdout]      |
[INFO] [stdout] 1021 |                 *pos += 1 + length;
[INFO] [stdout]      |                 ----^^^^^^^^^^^^^^
[INFO] [stdout]      |                 |
[INFO] [stdout]      |                 cannot use `+=` on type `Position`
[INFO] [stdout]      |
[INFO] [stdout] note: an implementation of `AddAssign<{integer}>` might be missing for `Position`
[INFO] [stdout]     --> src/format.rs:720:1
[INFO] [stdout]      |
[INFO] [stdout] 720  | pub struct Position(Nat);
[INFO] [stdout]      | ^^^^^^^^^^^^^^^^^^^ must implement `AddAssign<{integer}>`
[INFO] [stdout] note: the trait `AddAssign` must be implemented
[INFO] [stdout]     --> /rustc/e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682/library/core/src/ops/arith.rs:733:1
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Nat`
[INFO] [stdout]    --> src/lib.rs:414:5
[INFO] [stdout]     |
[INFO] [stdout] 414 |     Nat::try_from(x).unwrap()
[INFO] [stdout]     |     ^^^ use of undeclared type `Nat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 21 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0368, E0369, E0412, E0432, E0433, E0618.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0368`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `wasefire-store` (lib test) due to 22 previous errors
[INFO] running `Command { std: "docker" "inspect" "748884a55e3a26f6631b2d91017e5d725e2ed3ba150a8029f92180525773dbb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "748884a55e3a26f6631b2d91017e5d725e2ed3ba150a8029f92180525773dbb1", kill_on_drop: false }`
[INFO] [stdout] 748884a55e3a26f6631b2d91017e5d725e2ed3ba150a8029f92180525773dbb1
